A minimalistic look at widening operators
نویسندگان
چکیده
منابع مشابه
A minimalistic look at widening operators
We consider the problem of formalizing in higher-order logic the familiar notion of widening from abstract interpretation. It turns out that many axioms of widening (e.g. widening sequences are ascending) are not useful for proving correctness. After keeping only useful axioms, we give an equivalent characterization of widening as a lazily constructed wellfounded tree. In type systems supportin...
متن کاملPrecise Widening Operators for Convex Polyhedra
Convex polyhedra constitute the most used abstract domain among those capturing numerical relational information. Since the domain of convex polyhedra admits infinite ascending chains, it has to be used in conjunction with appropriate mechanisms for enforcing and accelerating convergence of the fixpoint computation. Widening operators provide a simple and general characterization for such mecha...
متن کاملWidening and narrowing operators for abstract interpretation
Abstract Interpretation, one of the most applied techniques for semantics based static analysis of software, is based on two main key-concepts: the correspondence between concrete and abstract semantics through Galois connections/insertions, and the feasibility of a fixed point computation of the abstract semantics, through the fast convergence of widening operators. The latter point is crucial...
متن کاملWidening Operators for Weakly-Relational Numeric Abstractions
In recent years there has been a lot of interest in the definition of so-called weakly-relational numeric domains, whose complexity and precision are in between the (non-relational) abstract domain of intervals [9] and the (relational) abstract domain of convex polyhedra [10]. The first weakly-relational domain proposed in the literature is based on systems of constraints of the form x−y ≤ c an...
متن کاملA Look at the Challenges of Boundary-Spanner Academic Leaders
The present study was an exploratory sequential mixed method approach, so the qualitative section of the study was done by descriptive phenomenology method. The participants in the qualitative section included academic administrators with managerial experience who by criterion sampling and saturation in the research findings, 12 were selected for the interview. Research tools in the section wer...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Higher-Order and Symbolic Computation
سال: 2009
ISSN: 1388-3690,1573-0557
DOI: 10.1007/s10990-009-9046-8